$\forall$$m$, $n$:$\mathbb{Z}$. \{$m$..$n$$^{-}$\} $\in$ Type